Semantics of logic

Results: 1541



#Item
251

Argumentation Semantics for Defeasible Logic GUIDO GOVERNATORI, School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, QLD 4072, Australia. E-mail: MICHA

Add to Reading List

Source URL: seit.unsw.adfa.edu.au

Language: English - Date: 2006-01-17 20:15:08
    252

    J. LOGIC PROGRAMMING 1994:19, 20:1{THE SEMANTICS OF CONSTRAINT LOGIC PROGRAMS

    Add to Reading List

    Source URL: seit.unsw.adfa.edu.au

    Language: English - Date: 2006-09-14 01:09:12
      253

      From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief Thomas Bolander Informatics and Mathematical Modelling Technical University of Denmark

      Add to Reading List

      Source URL: www.imm.dtu.dk

      Language: English - Date: 2003-04-22 05:25:40
        254

        The Semantics and Proof Theory of Linear Logic Arnon Avron Department of Computer Science School of Mathematical Sciences Tel-Aviv University

        Add to Reading List

        Source URL: www.cs.tau.ac.il

        Language: English - Date: 2004-01-21 05:20:53
          255

          Rolf Schock PrizesFurther Information Hilary Putnam – Logic and Philosophy “for his contribution to the understanding of semantics for theoretical and ‘natural kind’

          Add to Reading List

          Source URL: www.kva.se

          Language: English - Date: 2014-07-02 23:38:01
            256

            Formal systems, logic and semantics Daniel Richardson, Department of Computer Science, University of Bath. email : September 27, 2006

            Add to Reading List

            Source URL: www.cs.bath.ac.uk

            Language: English - Date: 2012-01-04 14:09:37
              257

              On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks Sarah Alice Gaggl Computational Logic Group TU Dresden, Germany

              Add to Reading List

              Source URL: ddll.inf.tu-dresden.de

              Language: English - Date: 2015-05-06 03:48:04
                258

                First-order Logic without bound variables: Compositional Semantics W. W. Tait This paper was written in honor of Dag Prawitz for the occasion, now alas long past, of his 70th birthday. An attractive format for semantics

                Add to Reading List

                Source URL: home.uchicago.edu

                Language: English - Date: 2014-07-29 13:03:41
                  259Mathematical logic / Logic in computer science / Substructural logic / Hoare logic / Logic / Separation logic / Hoare / Correctness / Predicate transformer semantics / Program logic / Theoretical computer science / Mathematics

                  COMPUTER SCIENCE TRIPOS Part II – 2013 – Paper 8 8 Hoare Logic (MOM) Use notation from logic (∀, ∃, etc.) in your answers to the questions below. (a) Define the semantics of the partial correctness Hoare triple,

                  Add to Reading List

                  Source URL: www.cl.cam.ac.uk

                  Language: English - Date: 2014-06-09 10:18:42
                  260Logic in computer science / Programming language semantics / Models of computation / Denotational semantics / Operational semantics / Structure / Lambda calculus / Theoretical computer science / Mathematics / Mathematical logic

                  JFP 19 (6): 699–722, c Cambridge University Press 2009  699

                  Add to Reading List

                  Source URL: www.kurims.kyoto-u.ac.jp

                  Language: English - Date: 2009-11-01 21:42:18
                  UPDATE